Abstract Interpretation using Attribute Grammars
نویسنده
چکیده
Interpretation using Attribute Grammars Mads Rosendahl Computer Laboratory University of Cambridge Cambridge CB2 3QG England
منابع مشابه
Strictness Analysis for Attribute Grammars
Attribute grammars may be seen as a (rather specialised) lazy or demand-driven programming language. The “programs” in this language take text or parse trees as input and return values of the synthesised attributes to the root as output. From this observation we establish a framework for abstract interpretation of attribute grammars. The framework is used to construct a strictness analysis for ...
متن کاملJuly 2000 Third Workshop on Attribute Grammars and Their Applications Waga2000 Testing Attribute Grammars
Fundamental notions for testing attribute grammars are developed. Two dimensions are explored. The structural dimension focuses on the context-free grammar part of an attribute grammar, whereas the semantic dimension is concerned with attributes, attribute types, conditions, and computations. In both dimensions, and also for the combination of them, we are interested in coverage notions, test s...
متن کاملProgramming Research Group DECOMPILATION: THE ENUMERATION OF TYPES AND GRAMMARS
A free type deenition may be remolded into a simple functional program which enumerates all the terms of the associated grammar. This is the starting point for a reliable method of compiling decompilers. The technique produces eecient functional code and handles quite general synthetic and inherited attribute grammar descriptions (which correspond loosely to algebraically constrained and parame...
متن کاملTwo-dimensional Approximation Coverage
The notion of approximation coverage is developed. It is applicable to first-order declarative programs (e.g., logic programs, constructive algebraic specifications, and attribute grammars) in two dimensions in a natural way. For an attribute grammar, for example, there is a syntactic dimension corresponding to the underlying context-free grammar, and there is also a semantic dimension correspo...
متن کامل